This fully updated second edition includes 100+ pages of new material, including new chapters on Verifying Code, Predicting Errors, and Preventing Errors. Cutting-edge tools such as FindBUGS and AGITAR are explained, techniques from integrated environments like Jazz.net are highlighted, and all-new demos with ESC/Java and Spec#, Eclipse and Mozilla are included. This complete ...(展开全部)

This fully updated second edition includes 100+ pages of new material, including new chapters on Verifying Code, Predicting Errors, and Preventing Errors. Cutting-edge tools such as FindBUGS and AGITAR are explained, techniques from integrated environments like Jazz.net are highlighted, and all-new demos with ESC/Java and Spec#, Eclipse and Mozilla are included. This complete ...(展开全部)

"James Madison wrote: 'If men were angels, no government would be necessary.' If he lived today, Madison might have written: 'If software developers were angels, debugging would be unnecessary.' Most of us, however, make mistakes, and many of us even make errors while designing and writing software. Our mistakes need to be found and fixed, an activity called debugging that orig...(展开全部)

The publication of The Sibley Guide to Birds in 2000 quickly established David Allen Sibley as the author and illustrator of the nation’s supreme and most comprehensive guide to birds. Used by millions of birders from novices to the most expert, The Sibley Guide became the standard by which natural history guides are measured. The highly anticipated second edition builds on thi...(展开全部)

LaTeX is high-quality open source typesetting software that produces professional prints and PDF files. It's a powerful and complex tool with a multitude of features, so getting started can be intimidating. However, once you become comfortable with LaTeX, its capabilities far outweigh any initial challenges, and this book will help you with just that! The LaTeX Beginner's Guide...(展开全部)

A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who ...(展开全部)

Through a combination of best practices and common debugging and programming techniques - several of which are not currently documented in other books - this book shows developers why the system works the way it does and not simply what it does or how it does it. During the course of this book, readers will: * Learn how to use debuggers as an integral part of the development p...(展开全部)

With an analytical and rigorous approach to problem solving and programming techniques, this book is oriented toward engineering. "Structure and Interpretation of Computer Programs" emphasizes the central role played by different approaches to dealing with time in computational models. Its unique approach makes it appropriate for an introduction to computer science courses, as ...(展开全部)

With an analytical and rigorous approach to problem solving and programming techniques, this book is oriented toward engineering. "Structure and Interpretation of Computer Programs" emphasizes the central role played by different approaches to dealing with time in computational models. Its unique approach makes it appropriate for an introduction to computer science courses, as ...(展开全部)